Category Formal Methods
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- toysolver 25
- opentheory-primitive 22
- opentheory 18
- sbv 13
- z3 8
- opentheory-bits 5
- smtlib2 5
- boolector 4
- CSPM-Frontend 3
- opentheory-probability 3
- hermit 2
- CSPM-FiringRules 1
- CSPM-Interpreter 1
- CSPM-ToProlog 1
- ghc-proofs 1
- opentheory-byte 1
- sbvPlugin 1
- smtlib2-pipe 1
- smtlib2-quickcheck 1
- CSPM-cspm 0
Top Paired Categories
Categories that are often combined with this category.
- Math 3075
- Concurrency 2289
- Language 1386
- Algorithms 359
- Logic 191
- Constraints 149
- Game 129
- Theorem Provers 77
- Reflection 76
- Optimization 47
- Optimisation 42
- Bit Vectors 40
- Smt 34
- Embedded 31
- Symbolic Computation 23
- Compiler Plugin 14
- Refactoring 5
- Transformation 0